Certainty Closure: A Framework for Reliable Constraint Reasoning with Uncertainty
نویسندگان
چکیده
Constraint problems with incomplete or erroneous data are often simplified to tractable deterministic models, or modified using error correction methods, with the aim of seeking a solution. However, this can lead us to solve the wrong problem because of the approximations made. Such an outcome is of little help to a user who expects the right problem to be tackled and reliable information returned. The certainty closure framework we present aims to provide the user with reliable insight by: (1) enclosing the uncertainty using what is known for sure about the data, to guarantee that the true problem is contained in the model so described, (2) deriving a closure, a set of possible solutions to the uncertain constraint problem. In this paper we first demonstrate the benefits of reliable constraint reasoning on two different case studies, and then generalise our approaches into a formal framework.
منابع مشابه
Certainty Closure Reasoning About Constraint Problems with Uncertain Data
We present a generic framework to reason about constraint problems with incomplete or erroneous data. Such problems are often simplified at present to tractable deterministic models, or modified using error correction methods, with the aim of seeking a solution. However, this can lead us to solve the wrong problem because of the approximations made. Such an outcome is of little help to the user...
متن کاملOn Constraint Problems with Incomplete or Erroneous Data
Real-world constraint problems abound with uncertainty. Problems with incomplete or erroneous data are often simplified at present to tractable deterministic models, or modified using error correction methods, with the aim of seeking a solution. However, this can lead us to solve the wrong problem because of the approximations made, an outcome of little help to the user who expects the right pr...
متن کاملCertainty Closure On Tackling Constraint Problems with Uncertain Data
We present a generic framework to model and solve real-world constraint problems with incomplete or inconsistent data. Such problems are often simplified at present to tractable deterministic models, in order to find a solution; so doing, however, can lead us to solve the wrong problem or to introduce unsatisfiability because of the approximations made. The certainty closure framework addresses...
متن کاملMeta-Reasoning: Monitoring and Control of Thinking and Reasoning.
Meta-Reasoning refers to the processes that monitor the progress of our reasoning and problem-solving activities and regulate the time and effort devoted to them. Monitoring processes are usually experienced as feelings of certainty or uncertainty about how well a process has, or will, unfold. These feelings are based on heuristic cues, which are not necessarily reliable. Nevertheless, we rely ...
متن کاملQuery Processing and Optimization for Logic Programs with Certainty Constraints
Numerous logic frameworks have been proposed for modeling uncertainty and reasoning with such data. While different in syntax, the approaches of these frameworks have been classified into “annotation based” (AB) and “implication based” (IB). In this paper, we present a unified framework which allows evaluating programs in either approach. It extends existing query processing techniques to handl...
متن کامل